; COMMAND-LINE: -i --sat-solver=cadical
(set-logic ALL)
(declare-fun a () Real)
(assert (= 1.0 (/ 0.0 a)))
(set-info :status sat)
(check-sat)
(assert (= 0.0 (+ a 1.0)))
(set-info :status unsat)
(check-sat-assuming (true))
(set-info :status unsat)
(check-sat)
